home *** CD-ROM | disk | FTP | other *** search
/ Complete Linux / Complete Linux.iso / docs / devel / prolog / diffs / diff_1_8.1 < prev    next >
Encoding:
Text File  |  1993-09-17  |  12.0 KB  |  462 lines
  1. diff -c -r +new-file pl/STAMP pl/STAMP
  2. *** pl/STAMP    Mon Sep 13 11:54:15 1993
  3. --- pl/STAMP    Fri Sep 17 10:22:32 1993
  4. ***************
  5. *** 1 ****
  6. ! Mon Sep 13 11:52:55 MET DST 1993
  7. --- 1 ----
  8. ! Fri Sep 17 10:21:25 MET DST 1993
  9. diff -c -r +new-file pl/VERSION pl/VERSION
  10. *** pl/VERSION    Mon Sep  6 17:40:37 1993
  11. --- pl/VERSION    Fri Sep 17 10:06:37 1993
  12. ***************
  13. *** 1 ****
  14. ! 1.8.0
  15. --- 1 ----
  16. ! 1.8.1
  17. diff -c -r +new-file pl/boot/init.pl pl/boot/init.pl
  18. *** pl/boot/init.pl    Wed Feb 17 13:45:48 1993
  19. --- pl/boot/init.pl    Fri Sep 17 10:07:52 1993
  20. ***************
  21. *** 1,4 ****
  22. ! /*  init.pl,v 1.7 1993/02/17 12:45:48 jan Exp
  23.   
  24.       Copyright (c) 1990 Jan Wielemaker. All rights reserved.
  25.       jan@swi.psy.uva.nl
  26. --- 1,4 ----
  27. ! /*  init.pl,v 1.8 1993/09/17 08:07:52 jan Exp
  28.   
  29.       Copyright (c) 1990 Jan Wielemaker. All rights reserved.
  30.       jan@swi.psy.uva.nl
  31. ***************
  32. *** 390,402 ****
  33.       absolute_file_name(PlFile, FullName),
  34.       exists_file(FullName), !.
  35.   
  36.   $chk_lib_file(File, FullFile, Prefixes, Exts) :-
  37.       user:library_directory(Dir),
  38.       member(Prefix, Prefixes),
  39.       member(Ext, Exts),
  40.       concat_atom([Dir, '/', Prefix, '/', File, Ext], LibFile),
  41.       absolute_file_name(LibFile, FullFile),
  42. !     exists_file(FullFile), !.
  43.       
  44.   
  45.           /********************************
  46. --- 390,410 ----
  47.       absolute_file_name(PlFile, FullName),
  48.       exists_file(FullName), !.
  49.   
  50. + :- dynamic
  51. +     $lib_file_cache/4.
  52. + 
  53. + $chk_lib_file(File, FullFile, Prefixes, Exts) :-
  54. +     $lib_file_cache(File, FullFile, Pref, Ext),
  55. +     memberchk(Pref, Prefixes),
  56. +     memberchk(Ext, Exts), !.
  57.   $chk_lib_file(File, FullFile, Prefixes, Exts) :-
  58.       user:library_directory(Dir),
  59.       member(Prefix, Prefixes),
  60.       member(Ext, Exts),
  61.       concat_atom([Dir, '/', Prefix, '/', File, Ext], LibFile),
  62. +     exists_file(LibFile), !,
  63.       absolute_file_name(LibFile, FullFile),
  64. !     asserta($lib_file_cache(File, FullFile, Prefix, Ext)).
  65.       
  66.   
  67.           /********************************
  68. ***************
  69. *** 668,689 ****
  70.           $consult_clause(Clause, File), !.
  71.   
  72.   :- dynamic
  73. !     $module_file/3.
  74. ! 
  75. ! $module_file(File, Module) :-
  76. !     $module_file(File, _Base, Module), !.
  77. ! $module_file(File, Module) :-
  78. !     $file_base_name(File, Base),
  79. !     $module_file(LoadedFile, Base, Module),
  80. !     same_file(File, LoadedFile), !,
  81. !     $assert_module_file(LoadedFile, Module).
  82.   
  83.   $assert_module_file(File, Module) :-
  84. !     $file_base_name(File, Base),
  85. !     (   $module_file(File, Base, Module)
  86. !     ->  true
  87. !     ;   asserta($module_file(File, Base, Module))
  88. !     ).
  89.   
  90.   $load_module(Module, Public, Import, File) :-
  91.       $set_source_module(OldModule, OldModule),
  92. --- 676,688 ----
  93.           $consult_clause(Clause, File), !.
  94.   
  95.   :- dynamic
  96. !     $module_file/2.
  97.   
  98.   $assert_module_file(File, Module) :-
  99. !     $module_file(File, Module), !.
  100. ! $assert_module_file(File, Module) :-
  101. !     asserta($module_file(File, Module)).
  102. ! 
  103.   
  104.   $load_module(Module, Public, Import, File) :-
  105.       $set_source_module(OldModule, OldModule),
  106. diff -c -r +new-file pl/boot/syspred.pl pl/boot/syspred.pl
  107. *** pl/boot/syspred.pl    Thu Jul 22 17:45:13 1993
  108. --- pl/boot/syspred.pl    Fri Sep 17 10:07:53 1993
  109. ***************
  110. *** 1,4 ****
  111. ! /*  syspred.pl,v 1.5 1993/07/22 15:45:13 jan Exp
  112.   
  113.       Copyright (c) 1990 Jan Wielemaker. All rights reserved.
  114.       jan@swi.psy.uva.nl
  115. --- 1,4 ----
  116. ! /*  syspred.pl,v 1.6 1993/09/17 08:07:53 jan Exp
  117.   
  118.       Copyright (c) 1990 Jan Wielemaker. All rights reserved.
  119.       jan@swi.psy.uva.nl
  120. ***************
  121. *** 288,295 ****
  122.       $time_source_file(File, _).
  123.   source_file(File) :-
  124.       atom(File),
  125. !     $time_source_file(LoadedFile, _),
  126. !     same_file(LoadedFile, File), !.
  127.   
  128.           /********************************
  129.           *           DATA BASE           *
  130. --- 288,296 ----
  131.       $time_source_file(File, _).
  132.   source_file(File) :-
  133.       atom(File),
  134. !     absolute_file_name(File, Abs),    % canonise
  135. !     $time_source_file(Abs, _).
  136. ! 
  137.   
  138.           /********************************
  139.           *           DATA BASE           *
  140. diff -c -r +new-file pl/src/md-linux.h pl/src/md-linux.h
  141. *** pl/src/md-linux.h    Fri Jul 23 12:29:36 1993
  142. --- pl/src/md-linux.h    Fri Sep 17 10:08:27 1993
  143. ***************
  144. *** 1,4 ****
  145. ! /*  md-linux.h,v 1.16 1993/07/23 10:29:36 jan Exp
  146.   
  147.       Copyright (c) 1992 Jan Wielemaker/Pieter Olivier. All rights reserved.
  148.       See ../LICENCE to find out about your rights.
  149. --- 1,4 ----
  150. ! /*  md-linux.h,v 1.17 1993/09/17 08:08:27 jan Exp
  151.   
  152.       Copyright (c) 1992 Jan Wielemaker/Pieter Olivier. All rights reserved.
  153.       See ../LICENCE to find out about your rights.
  154. ***************
  155. *** 60,65 ****
  156. --- 60,67 ----
  157.   #define O_NO_SEGV_ADDRESS    1
  158.   #define MAX_VIRTUAL_ADDRESS     (220*1024*1024) /* not sure, but it will do */
  159.   #define O_FOREIGN        1
  160. + #define LD_COMMAND        "gcc"
  161. + #define LD_OPT_OPTIONS        "-r -static"
  162.   #define LD_OPT_ADDR        "-T 0x%x"
  163.   #define O_SAVE            1
  164.   #define DATA_START        ((long) &etext + sizeof(long))
  165. diff -c -r +new-file pl/src/md-sun4.h pl/src/md-sun4.h
  166. *** pl/src/md-sun4.h    Mon Sep 13 11:52:35 1993
  167. --- pl/src/md-sun4.h    Fri Sep 17 10:08:28 1993
  168. ***************
  169. *** 1,4 ****
  170. ! /*  md-sun4.h,v 1.17 1993/09/13 09:52:35 jan Exp
  171.   
  172.       Copyright (c) 1990 Jan Wielemaker. All rights reserved.
  173.       See ../LICENCE to find out about your rights.
  174. --- 1,4 ----
  175. ! /*  md-sun4.h,v 1.18 1993/09/17 08:08:28 jan Exp
  176.   
  177.       Copyright (c) 1990 Jan Wielemaker. All rights reserved.
  178.       See ../LICENCE to find out about your rights.
  179. ***************
  180. *** 52,58 ****
  181.   #define O_NO_SEGV_ADDRESS    0
  182.   #define MAX_VIRTUAL_ADDRESS    (512 * 1024 *1024)
  183.   #define O_FOREIGN        1
  184. ! #define O_NOENTRY        1    /* ld -e doesn't work */
  185.   #define O_SAVE            1
  186.   #define DEFAULT_PATH        ":.:/usr/ucb:/bin:/usr/bin:";
  187.   #define SRANDOM(t)        srandom((long)t)
  188. --- 52,62 ----
  189.   #define O_NO_SEGV_ADDRESS    0
  190.   #define MAX_VIRTUAL_ADDRESS    (512 * 1024 *1024)
  191.   #define O_FOREIGN        1
  192. ! #ifndef USE_CC                /* just the default ld for cc */
  193. ! #define LD_COMMAND        "gcc"
  194. ! #endif
  195. ! #define LD_OPT_ADDR        "-T %x"
  196. ! #define O_NOENTRY        0    /* ld -e doesn't work */
  197.   #define O_SAVE            1
  198.   #define DEFAULT_PATH        ":.:/usr/ucb:/bin:/usr/bin:";
  199.   #define SRANDOM(t)        srandom((long)t)
  200. diff -c -r +new-file pl/src/pl-itf.h pl/src/pl-itf.h
  201. *** pl/src/pl-itf.h    Mon Sep  6 17:41:06 1993
  202. --- pl/src/pl-itf.h    Fri Sep 17 10:08:28 1993
  203. ***************
  204. *** 1,4 ****
  205. ! /*  pl-itf.h,v 1.30 1993/09/06 15:41:06 jan Exp
  206.   
  207.       Copyright (c) 1990 Jan Wielemaker. All rights reserved.
  208.       See ../LICENCE to find out about your rights.
  209. --- 1,4 ----
  210. ! /*  pl-itf.h,v 1.31 1993/09/17 08:08:28 jan Exp
  211.   
  212.       Copyright (c) 1990 Jan Wielemaker. All rights reserved.
  213.       See ../LICENCE to find out about your rights.
  214. ***************
  215. *** 11,17 ****
  216.   #define PL_INCLUDED
  217.   
  218.   #ifndef PLVERSION
  219. ! #define PLVERSION "1.8.0 September 1993"
  220.   #endif
  221.   
  222.   #ifndef P
  223. --- 11,17 ----
  224.   #define PL_INCLUDED
  225.   
  226.   #ifndef PLVERSION
  227. ! #define PLVERSION "1.8.1 September 1993"
  228.   #endif
  229.   
  230.   #ifndef P
  231. diff -c -r +new-file pl/src/pl-load.c pl/src/pl-load.c
  232. *** pl/src/pl-load.c    Thu Jun 17 11:45:16 1993
  233. --- pl/src/pl-load.c    Fri Sep 17 10:08:29 1993
  234. ***************
  235. *** 1,4 ****
  236. ! /*  pl-load.c,v 1.14 1993/06/17 09:45:16 jan Exp
  237.   
  238.       Copyright (c) 1990 Jan Wielemaker. All rights reserved.
  239.       See ../LICENCE to find out about your rights.
  240. --- 1,4 ----
  241. ! /*  pl-load.c,v 1.15 1993/09/17 08:08:29 jan Exp
  242.   
  243.       Copyright (c) 1990 Jan Wielemaker. All rights reserved.
  244.       See ../LICENCE to find out about your rights.
  245. ***************
  246. *** 249,256 ****
  247.   Create an a.out file from a .o file.
  248.   - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
  249.   
  250. ! #ifndef LD
  251. ! #define LD        "ld"        /* Unix loader command name */
  252.   #endif
  253.   #ifndef LD_OPT_OPTIONS
  254.   #define LD_OPT_OPTIONS    "-N"        /* General options */
  255. --- 249,256 ----
  256.   Create an a.out file from a .o file.
  257.   - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
  258.   
  259. ! #ifndef LD_COMMAND
  260. ! #define LD_COMMAND    "ld"        /* Unix loader command name */
  261.   #endif
  262.   #ifndef LD_OPT_OPTIONS
  263.   #define LD_OPT_OPTIONS    "-N"        /* General options */
  264. ***************
  265. *** 271,278 ****
  266.   #define LD_OPT_LIBS    "-lc"        /* standard libraries */
  267.   #endif
  268.   
  269. ! static
  270. ! bool
  271.   create_a_out(files, entry, options, libraries, base, outfile)
  272.   char *entry;
  273.   char *files;
  274. --- 271,277 ----
  275.   #define LD_OPT_LIBS    "-lc"        /* standard libraries */
  276.   #endif
  277.   
  278. ! static bool
  279.   create_a_out(files, entry, options, libraries, base, outfile)
  280.   char *entry;
  281.   char *files;
  282. ***************
  283. *** 285,292 ****
  284.   
  285.   #define next(str) { (str) += strlen(str); *(str)++ = ' '; };
  286.   
  287. !   sprintf(s, "%s ", LD);                     next(s);
  288. !   sprintf(s, "%s ", LD_OPT_OPTIONS);                 next(s);
  289.     sprintf(s, LD_OPT_SFILE, stringAtom(loaderstatus.symbolfile)); next(s);
  290.     sprintf(s, LD_OPT_ADDR, base);                 next(s);
  291.   #if !O_NOENTRY
  292. --- 284,291 ----
  293.   
  294.   #define next(str) { (str) += strlen(str); *(str)++ = ' '; };
  295.   
  296. !   sprintf(s, "%s", LD_COMMAND);                     next(s);
  297. !   sprintf(s, "%s", LD_OPT_OPTIONS);                 next(s);
  298.     sprintf(s, LD_OPT_SFILE, stringAtom(loaderstatus.symbolfile)); next(s);
  299.     sprintf(s, LD_OPT_ADDR, base);                 next(s);
  300.   #if !O_NOENTRY
  301. diff -c -r +new-file pl/src/pl-os.c pl/src/pl-os.c
  302. *** pl/src/pl-os.c    Mon Sep 13 11:52:39 1993
  303. --- pl/src/pl-os.c    Fri Sep 17 10:08:30 1993
  304. ***************
  305. *** 960,968 ****
  306.   forwards char   *canoniseDir P((char *));
  307.   #endif
  308.   
  309. ! static  char    CWDdir[MAXPATHLEN];       /* current directory */
  310.   
  311. - 
  312.   static void
  313.   initExpand()
  314.   { 
  315. --- 960,968 ----
  316.   forwards char   *canoniseDir P((char *));
  317.   #endif
  318.   
  319. ! static  char    CWDdir[MAXPATHLEN];    /* current directory */
  320. ! static  int     CWDlen;            /* Length of CWDdir */
  321.   
  322.   static void
  323.   initExpand()
  324.   { 
  325. ***************
  326. *** 972,977 ****
  327. --- 972,978 ----
  328.   #endif
  329.   
  330.     CWDdir[0] = EOS;
  331. +   CWDlen = 0;
  332.   
  333.   #if unix
  334.     if ( (cpaths = getenv("CANONICAL_PATHS")) )
  335. ***************
  336. *** 1353,1358 ****
  337. --- 1354,1360 ----
  338.   
  339.       return canonisePath(path);
  340.     }
  341. + 
  342.   #if OS2 && EMX
  343.     if (isDriveRelativePath(file))
  344.     {
  345. ***************
  346. *** 1368,1376 ****
  347.       return canonisePath(path);
  348.     }
  349.   #endif /* OS2 */
  350. !   if ( CWDdir[0] == EOS )
  351. !   {
  352. !     getwd(CWDdir);
  353.     }
  354.   
  355.   #if OS2 && EMX
  356. --- 1370,1384 ----
  357.       return canonisePath(path);
  358.     }
  359.   #endif /* OS2 */
  360. ! 
  361. !   if ( CWDlen == 0 )
  362. !   { char buf[MAXPATHLEN];
  363. ! 
  364. !     getwd(buf);
  365. !     strcpy(CWDdir, canonisePath(buf));
  366. !     CWDlen = strlen(CWDdir);
  367. !     CWDdir[CWDlen++] = '/';
  368. !     CWDdir[CWDlen] = EOS;
  369.     }
  370.   
  371.   #if OS2 && EMX
  372. ***************
  373. *** 1387,1402 ****
  374.       return canonisePath(path);
  375.     }
  376.   #endif /* OS2 */
  377. !   if ( (strlen(CWDdir) + strlen(file) + 2) >= MAXPATHLEN )
  378.     { warning("path name too long");
  379.       return (char *) NULL;
  380.     }
  381.     
  382.     strcpy(path, CWDdir);
  383. !   strcat(path, "/");
  384. !   strcat(path, file);
  385. ! 
  386. !   return canonisePath(path);
  387.   }
  388.   
  389.   
  390. --- 1395,1411 ----
  391.       return canonisePath(path);
  392.     }
  393.   #endif /* OS2 */
  394. !   if ( (CWDlen + strlen(file) + 1) >= MAXPATHLEN )
  395.     { warning("path name too long");
  396.       return (char *) NULL;
  397.     }
  398.     
  399.     strcpy(path, CWDdir);
  400. !   strcpy(&path[CWDlen], file);
  401. !   if ( strchr(file, '.') || strchr(file, '/') )
  402. !     return canonisePath(path);
  403. !   else
  404. !     return path;
  405.   }
  406.   
  407.   
  408. ***************
  409. *** 1420,1426 ****
  410.   
  411.     for(base = p = f; *p; p++)
  412.       if (*p == '/' && p[1] != EOS )
  413. !       base = p;
  414.     strncpy(dir, f, base-f);
  415.     dir[base-f] = EOS;
  416.     
  417. --- 1429,1435 ----
  418.   
  419.     for(base = p = f; *p; p++)
  420.       if (*p == '/' && p[1] != EOS )
  421. !       base = p+1;
  422.     strncpy(dir, f, base-f);
  423.     dir[base-f] = EOS;
  424.     
  425. ***************
  426. *** 1440,1453 ****
  427.   char *path;
  428.   { extern int chdir(/*char**/);
  429.     char *ospath = OsPath(path);
  430.   
  431. !   if ( ospath[0] == EOS ||
  432. !        streq(ospath, CWDdir) ||
  433. !        streq(ospath, ".") )        /* Same directory */
  434.       succeed;
  435.   
  436.     if ( chdir(ospath) == 0 )
  437. !   { CWDdir[0] = EOS;
  438.       succeed;
  439.     }
  440.   
  441. --- 1449,1468 ----
  442.   char *path;
  443.   { extern int chdir(/*char**/);
  444.     char *ospath = OsPath(path);
  445. +   char buf[MAXPATHLEN];
  446.   
  447. !   if ( path[0] == EOS ||
  448. !        streq(path, CWDdir) ||
  449. !        streq(path, ".") )        /* Same directory */
  450.       succeed;
  451.   
  452. +   strcpy(buf, AbsoluteFile(path));
  453. + 
  454.     if ( chdir(ospath) == 0 )
  455. !   { strcpy(CWDdir, buf);
  456. !     CWDlen = strlen(CWDdir);
  457. !     CWDdir[CWDlen++] = '/';
  458. !     CWDdir[CWDlen] = EOS;
  459.       succeed;
  460.     }
  461.   
  462.